Computer assisted instruction for students studying basic logic at the 9th grade level

A system of Computer Assisted Instruction for Students Studying Basic Logic at the 9th Grade Level was written in Prolog running on a Digital Equipment Vax 11/780 under the Unix1 operating system. The program is a straight-forward approach to teaching propositional logic. A three layer menu structure is used to inform students of lessons, subtopics, and help available. Example questions are generated after each subtopic, and student scores are displayed for immediate reinforcement or correction. Scores are also saved for storage on the student\u27s progress chart file. A help function enables the student to review explanations of terminolgy, review truth tables, print a student handbook, and either display or print the student\u27s progress chart. In addition, the teacher may open a student account, close a student account, print a classlist, print progress charts, or print the teacher\u27s handbook. The input/output is not up to par due to the limitations imposed by the Prolog C-Interpreter. Pretests and Posttests are only available interactively with the aid of the teacher